منابع مشابه
IEEE TNSE Inaugural Issue Editorial
Ç NETWORK Science and Engineering (NSE) is a discipline of both rich intellectual heritage and visible practical implications. The topics explored in NSE traverse modeling/analysis and design/synthesis, covering topological as well as functional features of networks. The types of networks studied can be technological, informational, social, or biological. The impact of such study is particularl...
متن کاملVerification of IEEE Compliant Subtractive Division Algorithms
A parameterized deenition of subtractive oating point division algorithms is presented and veriied using PVS. The general algorithm is proven to satisfy a formal deenition of an IEEE standard for oating point arithmetic. The utility of the general speciication is illustrated using a number of diierent instances of the general algorithm.
متن کاملVeriication of Ieee Compliant Subtractive Division Algorithms
A parameterized deenition of subtractive oating point division algorithms is presented and veriied using PVS. The general algorithm is proven to satisfy a formal deenition of an IEEE standard for oating point arithmetic. The utility of the general speciication is illustrated using a number of diierent instances of the general algorithm.
متن کاملAsymmetric cell division: a persistent issue?
Heterogeneity within a clonal population of cells can increase survival in the face of environmental stress. In a recent issue of Science, Aldridge et al. (2012) demonstrate that cell division in mycobacteria is asymmetric, producing daughter cells that differ in size, growth rate, and susceptibility to antibiotics.
متن کاملSpecial Issue on Global Positioning System - Proceedings of the IEEE
The Global Positioning System (GPS) is a great technological success story. It was developed by the Department of Defense (DoD) primarily for the U.S. military to provide precise estimates of position, velocity, and time. Civil use was a secondary objective. On the basis of national security considerations, the civil users of GPS have been limited to a purposefully degraded subset of the signal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electrochemical Society Interface
سال: 2017
ISSN: 1064-8208,1944-8783
DOI: 10.1149/2.f03172if